From 259aace2806ec2c855497ddbbf869a83c1bf919b Mon Sep 17 00:00:00 2001 From: Keir Fraser Date: Wed, 7 May 2008 09:45:55 +0100 Subject: [PATCH] x86 pci passthrough: Make printk messages more exact. Signed-off-by: Weidong Han --- xen/arch/x86/domctl.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/xen/arch/x86/domctl.c b/xen/arch/x86/domctl.c index d26bf3c149..3e1386b075 100644 --- a/xen/arch/x86/domctl.c +++ b/xen/arch/x86/domctl.c @@ -540,7 +540,7 @@ long arch_do_domctl( if ( device_assigned(bus, devfn) ) { gdprintk(XENLOG_ERR, "XEN_DOMCTL_test_assign_device: " - "%x:%x:%x already assigned\n", + "%x:%x:%x already assigned, or non-existent\n", bus, PCI_SLOT(devfn), PCI_FUNC(devfn)); break; } @@ -569,7 +569,7 @@ long arch_do_domctl( if ( device_assigned(bus, devfn) ) { gdprintk(XENLOG_ERR, "XEN_DOMCTL_assign_device: " - "%x:%x:%x already assigned\n", + "%x:%x:%x already assigned, or non-existent\n", bus, PCI_SLOT(devfn), PCI_FUNC(devfn)); break; } -- 2.30.2